//GA MPI maxsat
//$Id: maxsat_ga_mpi.cpp 129 2009-08-31 11:59:57Z Oleg.Bulychov $

#include "stdafx.h"

#include "../maxsat_ga.h"
#include "solvers/ga/ga_config.h"
#include "solvers/ga/ga_mpi.h"
#include "src/heo/include/run_mpi.h"

typedef Config<MaxSat_Config, GA_Config>        TConfig;
typedef MaxSat_Problem                          TProblem;
typedef MaxSat_Solution_GA                      TSolution;
typedef GA_MPI<TProblem, TSolution, TConfig>    TSolver;

int main(int argc, char* argv[])
{
    return Run_MPI<TSolver>(argc, argv, "MaxSat").retval;
}

